Language and Computation - PDFSEARCH.IO - Document Search Engine

Language and Computation
Results: 343

#	Item
171	A On Contract Satisfaction in a Higher-Order World CHRISTOS DIMOULAS and MATTHIAS FELLEISEN, Northeastern University, Boston, MA Behavioral software contracts have become a popular mechanism for specifying and ensuring l Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Models of computation Logic in computer science Programming language semantics Racket Denotational semantics Eiffel Matthias Felleisen Design by contract Lambda calculus Software engineering Computing Computer programming
172	Using JFLAP to Interact with Theorems in Automata Theory Eric Gramond and Susan H. Rodger Duke University, Durham, NC [removed] Abstract Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 1999-01-05 11:27:33 Computer science Applied mathematics Deterministic finite automaton Nondeterministic finite automaton Finite-state machine Computability Deterministic pushdown automaton Context-free language Pushdown automaton Automata theory Models of computation Theoretical computer science
173	From System F to Typed Assembly Language GREG MORRISETT and DAVID WALKER Cornell University KARL CRARY Carnegie Mellon University and Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-10-21 10:40:17 Computing Models of computation Functional languages Program analysis Type system Standard ML Type safety Typed assembly language Lambda calculus Software engineering Type theory Programming language theory
174	LLparse and LRparse: Visual and Interactive Tools for Parsing Stephen A. Blythe, Michael C. James, and Susan H. Rodger1 Department of Computer Science Rensselaer Polytechnic Institute Troy, NY[removed]email: rodger@cs Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2003-06-18 09:05:39 Software engineering Theoretical computer science Automata theory Models of computation LR parser LL parser Parsing Bottom-up parsing Parsing table Programming language implementation Compiler construction Formal languages
175	Experienced old eyes can look young in HCI research Robin L. Hill1 , Anna Dickinson2 and John L. Arnott2 1 Institute for Language, Cognition and Computation, Add to Reading List Source URL: tinytocs.org Language: English - Date: 2013-04-02 18:41:25 Share-alike Science Mind Perception Human–computer interaction Visual system SIGCHI
176	Expressive power of Cost Logics over Infinite Words Denis Kuperberg and Michael Vanden Boom S´eminaire Automates Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:50 Computer science Applied mathematics Mathematics Regular language Nondeterministic finite automaton Finite-state machine Ω-automaton Omega-regular language Automata theory Formal languages Models of computation
177	Characterising Effective Resource Analyses for Parallel and Distributed Coordination P. W. Trinder1 , M. I. Cole2 , H-W. Loidl1 , and G. J. Michaelson1 1 School of Mathematical and Computer Sciences, Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2010-04-06 09:34:25 Theoretical computer science Software engineering Parallel computing Parallel Random Access Machine Bulk synchronous parallel Distributed computing Programming language Kahn process networks Thread Models of computation Computing Concurrent computing
178	Computational Characterizations of Vowel Harmony Patterns and Pathologies Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 13:01:20 Vowels Finite state transducer Phonetics Vowel harmony Finite-state machine Yoruba language Mongolian language Vowel Advanced and retracted tongue root Linguistics Automata theory Models of computation
179	Questions require an answer: A deductive perspective on questions and answers Willemijn Vermaat Centre for Logic, Language and Computation Victoria University Wellington, New Zealand [removed] Add to Reading List Source URL: www.alta.asn.au Language: English - Date: 2006-11-21 07:44:08 Language Wh-movement Question Categorial grammar Combinatory categorial grammar NP Head Shifting Linguistics Syntax Grammar
180	The Role of APL and J in High-performance Computation Robert Bernecky Snake Island Research Inc 18 Fifth Street, Ward’s Island Toronto, Ontario M5J 2B9 Canada Add to Reading List Source URL: www.snakeisland.com Language: English - Date: 2008-07-16 14:58:53 Array programming languages APL programming language family APL Array programming Array data type J Fortran Tacit programming K Software engineering Computing Computer programming

UPDATE